master-constraints(es;Master)
== (e1, e2:E(Master). (e1 < e2)  e2 c e1)
== & (e1, e2:E(Master).
== & ((e1 < e2)
== & ( (cmconfig?(Master(e1)))
== & ( (cmconfig?(Master(e2)))
== & ( cmconfig-list(Master(e2))  cmconfig-list(Master(e1))) 

latex

---

clarification:

master-constraints(es;Master)
== (e1:es-E-interface(es;Master), e2:es-E-interface(es;Master).
== (es-causl(es; e1; e2)  es-causle(es;e2;e1))
== & (e1:es-E-interface(es;Master), e2:es-E-interface(es;Master).
== & (es-causl(es; e1; e2)
== & ( (cmconfig?(Master(e1)))
== & ( (cmconfig?(Master(e2)))
== & ( sublist(Id; cmconfig-list(Master(e2)); cmconfig-list(Master(e1)))) 

latex

Definitions	P & Q, P  Q, e c e', x:A. B(x), E(X), (e < e'), P  Q, b, cmconfig?(x), L1  L2, Id, cmconfig-list(x), X(e)
FDL editor aliases	master-constraints